【labeled_transition_system】什么意思_英语labeled_transition_system的翻译_音标_读音_用法_例句_在线翻译

labeled transition system

标号迁移系统

虽然π演算的行为通常被解释到一个标号迁移系统（Labeled Transition System）上，但在状态/事件混合系统的建模和推理中，需要扩展一般的标号迁移系统使它能够对系统行为（即：迁移标号）和系统状态（即：状态...

基于14个网页-相关网页

转换系统

7 ^_^ --- --- 例1.3 加标转换系统（labeled transition system）是流行的计算系统模型。

基于10个网页-相关网页

生成标号迁移系统

...语 tract Machine,E-CHAM)模型描述软件系统的体系结构;接着使用LTS状态树生成算法,生成标号迁移系统(Labeled Transition System,LTS)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试。

基于4个网页-相关网页

短语

计算机科学技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

Transition: Two system verification test cycles and one final regression cycle, labeled as TSVT1, TSVT2, and TSVTR

产品化：两个系统验证测试周期以及一个最终回归周期，被标注为：TSVT1、 TSVT2 和 TSVTR。

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句